murrax.dev
Random Notes:
Self-organizing warehouse management based on communicating distributed memory tags
Assumptions about directory names
BSE, LOB, Derivatives, and Betting

ATiPL Problem Sheet 1

5

ii

data Nat = Zero | Succ Nat
sum :: Nat -> Nat -> Nat
sum Zero b = b
sum (Succ a) b = Succ (sum a b)

Corrections